what is a railgun and how does it work